c formula generated with seed 3, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 2, 4, 6, 7, 8, 10, 11, 13, 17, 19, 20, 22, 23, 24, 25, 27, 29, 32, 33, 36, 42, 44, 47, 49, 51, 52, 53, 57, 59, 69, 79, 81, 82, 84, 86, 89, 92, 93, 94, 95, 96, 97, 98, 102, 104, 105, 107, 111, 113, 114, 118, 119, 125, 127, 129, 131, 132, 138, 140, 143, 145, 149, 151, 154, 155, 157, 158, 159, 161, 162, 165, 170, 174, 178, 180, 186, 187, 188, 189, 196, 197, 198, 199, 203, 204, 205, 207, 209, 211, 217, 218, 220, 222, 227, 229, 233, 236, 237, 238, 239, 241, 244, 245, 247, 250, 251, 255, 257, 258, 260, 262, 263, 268, 269, 270, 274, 276, 277, 279, 280, 283, 287, 291, 292, 294, 296, 298, 302, 303, 304, 306, 309, 311, 312, 313, 314, 317, 318, 320, 321, 322, 325, 327, 330, 331, 333, 336, 344, 348, 350, 351, 352, 353, 354, 356, 357, 363, 364, 369, 371, 374, 376, 385, 386, 388, 391, 399, 400, 404, 405, 409, 410, 415, 416, 417, 418, 419, 420, 423, 426, 430, 431, 433, 434, 437, 438, 439, 440, 441, 445, 446, 447, 448, 449, 451, 452, 453, 454, 455, 457, 464, 465, 468, 469, 470, 472, 476, 477, 479, 480, 481, 483, 484, 485, 488, 490, 491, 492, 498, 499, 504, 506, 507, 508, 509, 510, 511, 513, 515, 517, 518, 519, 520, 521, 525, 527, 530, 533, 534, 539, 540, 541, 542, 544, 546, 547, 548, 550, 551, 552, 555, 558, 560, 562, 563, 565, 567, 568, 569, 574, 575, 577, 578, 579, 580, 581, 582, 584, 585, 587, 588, 591, 592, 594, 595, 596, 598, 599}
p cnf 600 2646
336 -529 98 0
250 76 -220 0
127 199 -334 0
-422 82 -130 0
-119 -30 505 0
423 -295 250 0
-384 451 -360 0
-292 133 -413 0
103 -74 310 0
-573 114 -219 0
334 -379 163 0
-206 368 10 0
-276 172 -383 0
384 582 176 0
-58 -321 67 0
94 354 -101 0
-9 -496 -122 0
519 252 -42 0
238 529 453 0
167 -91 -464 0
-124 -192 -101 0
64 210 521 0
-499 328 111 0
446 102 385 0
410 -583 -12 0
-179 -252 107 0
56 442 -501 0
590 280 31 0
196 130 -190 0
324 565 34 0
284 -234 389 0
-320 488 -254 0
-421 -469 595 0
142 -442 -137 0
-570 -17 329 0
-599 -554 -162 0
246 -239 -88 0
43 -113 -516 0
224 254 -590 0
162 574 476 0
-596 148 -536 0
431 277 -586 0
598 210 -363 0
585 -175 423 0
385 -354 -143 0
63 403 -185 0
245 518 57 0
-528 -455 -22 0
-287 -226 121 0
-5 -553 481 0
434 304 145 0
71 -408 -447 0
14 -377 -454 0
226 379 -442 0
554 95 343 0
525 222 204 0
-436 -33 212 0
-244 353 358 0
308 577 5 0
-31 301 -435 0
253 9 517 0
-440 -322 483 0
-306 -124 -445 0
554 201 -576 0
289 -260 -355 0
-550 -290 -573 0
491 -384 434 0
11 -55 -242 0
478 -314 -166 0
171 303 341 0
-238 438 -20 0
42 -193 89 0
471 -93 -337 0
-400 413 -253 0
268 295 -298 0
-223 536 514 0
543 362 330 0
-278 303 392 0
395 424 -372 0
507 548 7 0
-14 -35 -501 0
51 -259 -570 0
461 16 490 0
-183 279 155 0
213 118 193 0
-528 123 66 0
-485 579 554 0
-304 236 422 0
-168 -134 -130 0
518 -514 262 0
-78 95 -514 0
398 507 246 0
-204 -246 144 0
239 -218 -257 0
-146 470 548 0
238 104 131 0
-191 61 123 0
15 53 202 0
-482 -562 -464 0
340 -195 -530 0
-6 217 -304 0
463 203 234 0
111 -18 -191 0
-446 437 116 0
-529 -524 470 0
-272 -408 518 0
-245 481 264 0
-396 231 463 0
599 -166 -266 0
122 -493 39 0
-435 -276 249 0
-488 -556 471 0
-341 367 168 0
-85 22 305 0
527 398 -47 0
358 58 578 0
523 354 289 0
11 -511 120 0
-27 -565 -421 0
285 122 86 0
187 -592 -6 0
-29 162 -93 0
596 298 1 0
-152 -311 466 0
329 308 499 0
168 -158 568 0
-64 -282 449 0
-45 291 -216 0
-211 -60 -498 0
251 34 -143 0
502 375 -80 0
200 -256 225 0
-164 517 -345 0
236 -578 35 0
-165 361 57 0
-458 257 -528 0
-496 211 -308 0
-138 -397 267 0
-274 -223 -388 0
233 387 -94 0
315 -126 -178 0
514 496 227 0
-252 1 -379 0
-20 -92 -18 0
162 -180 65 0
-260 521 461 0
-85 129 236 0
331 -419 319 0
-250 -346 -591 0
511 191 -49 0
327 462 77 0
-118 -169 66 0
99 -259 -185 0
545 409 77 0
475 251 -518 0
147 45 -305 0
-365 -433 -363 0
-392 423 19 0
546 35 337 0
-62 -538 -349 0
-39 14 46 0
507 506 -99 0
-246 225 120 0
547 465 -340 0
313 497 106 0
-163 -56 -139 0
403 -143 419 0
-559 -240 111 0
37 -486 -311 0
526 -588 304 0
-558 109 -115 0
442 -250 8 0
81 209 -106 0
187 349 122 0
-585 373 399 0
-487 -62 -61 0
-401 361 -350 0
313 6 517 0
92 80 549 0
-117 -219 222 0
-584 -299 554 0
550 -235 506 0
105 -131 50 0
-87 385 -380 0
-388 -90 422 0
346 333 -96 0
325 216 -283 0
-184 7 -442 0
-233 -8 -450 0
305 -204 530 0
-367 -28 263 0
-146 299 179 0
-278 -92 -400 0
207 -543 -156 0
-161 325 300 0
-288 -185 -432 0
32 -287 -189 0
-216 -201 -144 0
-497 212 -336 0
-486 285 121 0
-463 322 -115 0
-259 -358 33 0
-455 540 -60 0
127 496 -82 0
-346 -490 365 0
-565 -407 -513 0
17 425 -71 0
-95 513 422 0
86 -38 -301 0
-582 -287 294 0
376 475 -344 0
423 551 274 0
-366 -89 -356 0
-539 -42 199 0
-258 370 599 0
222 253 414 0
-29 483 -560 0
-13 -314 6 0
250 -213 -395 0
22 144 -6 0
507 248 -527 0
104 -487 -190 0
-341 -554 578 0
-342 -126 223 0
-535 -527 -509 0
-492 573 151 0
-586 -480 -569 0
-507 249 -300 0
259 357 -426 0
117 -427 -151 0
248 365 -58 0
-344 -65 -274 0
-447 -327 430 0
104 -80 -45 0
-590 -142 -215 0
566 -347 16 0
558 -559 -466 0
-244 440 -585 0
148 95 277 0
-194 437 592 0
154 -134 527 0
271 380 -166 0
-13 -386 -554 0
86 -82 -138 0
-471 -512 233 0
-484 35 527 0
-21 404 -422 0
467 -456 -125 0
119 -316 -428 0
41 6 300 0
-548 366 350 0
-395 285 -574 0
290 -70 142 0
-101 381 -92 0
331 -151 -480 0
-292 -302 594 0
141 -77 -551 0
307 -8 -130 0
-368 115 -356 0
-373 -477 -7 0
135 471 -182 0
133 260 600 0
386 -440 -579 0
8 -367 530 0
-160 -558 305 0
-255 198 166 0
76 219 -395 0
375 -444 425 0
97 134 -594 0
-234 273 -309 0
-586 50 -230 0
446 283 -206 0
433 -35 -278 0
533 -409 -351 0
120 -214 26 0
-512 -46 371 0
-412 -305 592 0
-462 357 -264 0
312 507 -136 0
454 -111 -257 0
513 -577 243 0
-387 -393 -54 0
-117 -401 -208 0
482 -208 -309 0
106 -188 -402 0
-460 -345 -5 0
259 -57 -169 0
-39 -136 -474 0
-339 407 223 0
-365 283 25 0
-328 -428 -126 0
174 212 -260 0
134 -344 -223 0
144 -219 310 0
-216 236 -286 0
50 317 -542 0
-186 404 418 0
536 422 199 0
560 438 211 0
387 258 397 0
-41 -333 -352 0
244 539 303 0
349 152 552 0
-515 581 -151 0
-510 500 498 0
502 -99 58 0
173 262 182 0
589 -379 412 0
-510 -518 -130 0
-73 -407 568 0
117 68 351 0
178 -222 -28 0
-31 -109 -63 0
-125 -567 -202 0
-187 -369 -384 0
522 441 -423 0
-448 -530 96 0
-48 -567 329 0
488 421 589 0
302 44 151 0
81 137 -599 0
-390 -458 -571 0
-543 -19 360 0
-104 106 245 0
-300 107 -55 0
242 -98 -130 0
-279 183 448 0
-261 584 -289 0
-506 -217 -123 0
241 -192 140 0
330 165 -365 0
390 338 -345 0
-299 479 149 0
464 358 -550 0
-574 415 50 0
521 421 -159 0
-229 288 336 0
-578 -448 567 0
-213 -185 -77 0
43 -122 538 0
-490 -358 335 0
8 355 531 0
557 402 -425 0
14 -466 184 0
-76 -2 -120 0
533 -252 586 0
542 -21 314 0
-201 375 469 0
-183 -280 -448 0
-437 457 -454 0
18 541 275 0
-226 304 95 0
498 -231 -553 0
294 50 216 0
600 -306 -246 0
-350 -277 -147 0
-60 -41 204 0
-188 -84 -121 0
-201 -37 151 0
391 79 -289 0
478 -176 -484 0
-160 489 -567 0
-191 -379 -547 0
415 -82 74 0
-368 407 -170 0
-194 540 -358 0
-426 -440 23 0
-114 -528 83 0
-126 -77 23 0
99 -480 582 0
-498 -30 243 0
311 -588 384 0
465 118 94 0
-152 -262 368 0
320 -62 217 0
581 111 -60 0
64 413 53 0
-572 -288 550 0
-483 -335 576 0
576 -291 -70 0
-128 -419 -517 0
273 95 -143 0
-531 -481 30 0
-347 -490 35 0
-194 317 -75 0
263 81 -256 0
-582 -243 407 0
-13 -25 594 0
-550 524 -194 0
171 -170 -181 0
-339 -290 204 0
-246 219 152 0
10 411 -558 0
-171 -487 -103 0
439 -137 143 0
-119 523 -571 0
117 -452 -345 0
291 -381 25 0
77 -576 -388 0
142 505 -232 0
339 323 454 0
579 457 -226 0
-39 157 -9 0
576 -509 -37 0
491 266 -131 0
206 -308 -350 0
128 465 -455 0
-81 14 369 0
6 -403 238 0
-264 -536 364 0
386 595 -308 0
428 341 -144 0
407 133 -265 0
483 -496 -272 0
-462 490 -183 0
-531 453 -372 0
-182 354 -487 0
421 -403 156 0
452 -243 222 0
310 -110 -209 0
287 -374 -420 0
-26 -455 335 0
-389 279 451 0
-265 311 541 0
524 474 -425 0
-584 357 -539 0
-87 -344 191 0
272 64 -370 0
-133 402 183 0
212 245 572 0
201 -580 -50 0
-455 447 471 0
239 587 -284 0
-125 -187 -106 0
101 546 -364 0
-194 -334 42 0
202 -315 179 0
-3 190 -255 0
580 187 -372 0
-411 -71 -425 0
54 360 -557 0
-94 -229 540 0
124 -432 -118 0
-396 -167 237 0
-65 -560 332 0
420 576 193 0
535 112 -213 0
206 174 -481 0
-432 -470 -13 0
-395 -473 -74 0
172 576 36 0
-584 -421 450 0
-594 -264 -449 0
187 204 143 0
-112 23 -194 0
545 -324 586 0
427 -332 267 0
555 289 -521 0
200 -465 209 0
-487 365 -11 0
7 -495 565 0
-377 -247 194 0
511 92 -536 0
326 -397 572 0
-597 -556 -133 0
-84 588 326 0
25 342 -509 0
-545 -269 505 0
464 248 -419 0
415 -516 -74 0
53 -545 -537 0
-531 52 521 0
66 -322 423 0
-223 449 -45 0
361 -375 -279 0
-173 -87 -41 0
31 184 -153 0
-145 -183 360 0
498 -294 366 0
83 98 -6 0
166 192 -566 0
353 341 124 0
-461 -482 -424 0
-166 -527 70 0
564 169 186 0
348 -86 -145 0
-281 -328 -368 0
-562 -233 -164 0
-443 28 265 0
-197 294 564 0
-410 -320 -172 0
553 -533 322 0
96 193 428 0
192 -556 300 0
-372 548 -538 0
-505 -219 -45 0
-455 -293 -180 0
213 -460 -517 0
236 -66 257 0
-341 504 -16 0
-572 -291 163 0
-234 162 317 0
304 245 118 0
-534 408 143 0
-154 207 460 0
-481 -150 39 0
-82 -314 565 0
-349 -383 581 0
507 510 158 0
-36 322 387 0
-248 600 -485 0
-484 83 -101 0
-150 497 68 0
-406 -446 74 0
-394 149 304 0
516 -201 290 0
328 -218 -215 0
-209 -106 -298 0
174 59 -379 0
-528 -8 387 0
-31 -195 506 0
-116 393 549 0
-418 279 80 0
156 -90 293 0
284 519 442 0
144 -206 385 0
-76 -210 304 0
474 -296 321 0
-185 217 -475 0
-345 -492 553 0
258 -493 96 0
126 18 -593 0
543 75 269 0
218 -31 -80 0
-359 53 277 0
-75 166 -111 0
-594 243 131 0
-102 146 -9 0
535 -537 139 0
-382 -459 417 0
-514 398 -190 0
301 489 -557 0
-208 -377 -78 0
-218 374 -385 0
519 12 136 0
-402 476 -159 0
-175 -265 -16 0
70 548 297 0
101 522 327 0
-422 297 -568 0
-499 280 88 0
165 -325 -562 0
-527 -75 529 0
8 401 103 0
-458 -155 -592 0
-203 339 89 0
370 466 204 0
455 463 56 0
482 553 -543 0
468 -59 277 0
-63 -102 -480 0
-336 13 103 0
-5 -247 18 0
-32 342 485 0
115 -229 -120 0
406 -454 587 0
233 -72 -66 0
150 -201 -297 0
123 -105 251 0
71 372 506 0
-576 120 -371 0
20 -191 430 0
443 -508 -15 0
204 -97 -292 0
306 -531 534 0
416 530 -212 0
244 -472 444 0
193 -540 400 0
-3 481 272 0
-126 -457 -72 0
-311 106 568 0
-308 574 490 0
178 506 207 0
337 -554 246 0
-201 -295 -12 0
447 -482 -39 0
474 535 -549 0
-313 89 -521 0
492 252 -453 0
493 320 428 0
255 -244 576 0
267 -189 -254 0
-580 185 336 0
181 -547 -99 0
-578 -131 -30 0
-65 525 -259 0
-141 -34 -392 0
-305 131 111 0
-142 -72 546 0
-181 87 -470 0
-297 275 -322 0
49 164 443 0
192 -477 -139 0
370 216 161 0
534 201 228 0
-347 -243 -115 0
-201 176 340 0
547 -367 582 0
-387 106 -318 0
-77 -25 496 0
232 -375 -233 0
256 -398 191 0
-134 515 -34 0
305 -538 358 0
188 221 528 0
-351 25 -317 0
-307 80 -364 0
309 -252 592 0
189 296 98 0
205 90 367 0
594 436 -416 0
-152 -293 -200 0
170 228 475 0
529 418 38 0
-59 8 538 0
-130 -162 373 0
423 -573 114 0
-353 -200 576 0
-23 -145 -338 0
-326 -110 -518 0
-155 -167 119 0
-61 -108 479 0
26 96 83 0
50 316 -375 0
-95 149 -579 0
100 -586 333 0
-154 548 -207 0
353 -266 263 0
484 478 -517 0
97 -371 459 0
525 -143 -385 0
-164 163 290 0
-420 -561 342 0
-465 471 -503 0
313 -386 411 0
591 -418 -6 0
-517 77 -271 0
13 -305 -139 0
196 -291 -470 0
-393 61 290 0
237 532 -209 0
57 173 -423 0
-557 -22 264 0
243 -17 418 0
-188 -581 -329 0
-352 442 -414 0
514 -535 73 0
-333 363 248 0
-51 -27 -164 0
-125 335 -361 0
-216 77 346 0
-126 309 -535 0
-218 58 550 0
-246 -2 -244 0
-527 485 -423 0
-504 582 173 0
-156 -97 -404 0
282 -570 -591 0
47 238 391 0
218 148 281 0
-84 -510 -216 0
170 421 -238 0
74 309 132 0
-452 -160 -13 0
116 -167 -125 0
30 -8 -248 0
278 585 -268 0
573 -99 -268 0
287 88 -437 0
-497 -531 510 0
-265 -124 485 0
-560 -213 35 0
126 -199 575 0
-509 -437 -77 0
-64 111 -359 0
590 -329 136 0
-536 413 -280 0
-100 -588 -217 0
397 -149 205 0
-531 -475 -43 0
-564 -478 484 0
36 -466 11 0
26 284 550 0
100 -99 367 0
-92 482 -126 0
291 -275 -284 0
287 188 -215 0
-493 243 43 0
326 -168 259 0
303 382 -241 0
491 55 486 0
-400 -105 131 0
-6 307 -103 0
395 562 316 0
-335 -445 429 0
489 430 -239 0
-457 -55 171 0
-330 -232 -419 0
-128 -570 439 0
-169 560 -597 0
485 218 -343 0
61 -84 499 0
382 -397 -233 0
-123 -386 500 0
210 -535 590 0
-195 -158 288 0
534 -504 -371 0
441 26 -214 0
1 -21 -144 0
-565 -257 468 0
64 -407 443 0
189 -296 31 0
-417 -22 -310 0
-254 419 -90 0
-16 23 -387 0
220 -272 245 0
-530 434 -369 0
583 -473 -264 0
254 -146 487 0
-242 -494 -299 0
392 195 -442 0
205 -348 139 0
-107 -592 -184 0
-394 -87 -462 0
21 -308 -96 0
72 320 -591 0
-356 -161 -561 0
-546 -272 -521 0
383 502 449 0
504 594 -234 0
505 423 -296 0
-86 -27 -597 0
470 552 -393 0
222 -44 411 0
593 229 559 0
-264 477 464 0
-393 -86 28 0
-295 -573 -57 0
-204 463 -384 0
-300 367 346 0
-269 509 -584 0
480 -505 -339 0
-241 -525 -489 0
318 508 -284 0
-373 211 -139 0
-285 53 306 0
46 439 -217 0
247 395 524 0
-363 -20 -3 0
22 -357 -484 0
-575 -182 -306 0
-438 -452 -35 0
-286 -437 -170 0
350 -213 -68 0
476 236 -329 0
425 573 111 0
304 480 -403 0
183 -349 297 0
-481 -259 148 0
-352 26 -66 0
8 143 353 0
35 334 188 0
-365 592 22 0
-150 -364 -19 0
157 -15 -243 0
-514 -521 -331 0
-210 20 -428 0
238 -57 72 0
328 -332 284 0
-553 -311 300 0
187 296 -39 0
-193 260 -223 0
35 19 -13 0
-464 214 36 0
-488 270 529 0
302 277 25 0
-98 337 -126 0
69 -29 528 0
-79 -525 -48 0
-278 -554 527 0
469 -307 -394 0
-455 -498 -128 0
180 203 -265 0
-233 -261 471 0
-472 -399 333 0
-208 101 295 0
118 -152 563 0
-535 -50 -99 0
-202 -236 387 0
-217 -63 34 0
-567 -21 572 0
87 4 358 0
-191 -296 73 0
-471 441 81 0
-516 -123 211 0
-284 517 385 0
-347 72 -391 0
247 18 365 0
-233 162 214 0
562 -376 108 0
-546 -460 -592 0
536 378 49 0
-163 566 -532 0
-414 229 -422 0
52 269 245 0
-462 526 11 0
550 -389 -133 0
392 343 457 0
-145 -538 -519 0
576 539 564 0
341 -366 166 0
-528 226 -363 0
491 15 264 0
262 -218 422 0
23 -436 438 0
88 -486 560 0
-44 -230 38 0
-543 -151 505 0
-115 551 -153 0
-367 519 -523 0
252 -454 -191 0
-448 51 164 0
-360 197 -403 0
-52 325 554 0
225 -274 188 0
-316 -293 -435 0
414 266 352 0
487 250 512 0
-144 209 50 0
588 42 36 0
88 -126 252 0
-580 403 222 0
502 -87 390 0
-284 -4 271 0
125 -335 -73 0
451 -102 -302 0
248 -150 543 0
353 -178 308 0
-79 157 41 0
526 -361 -92 0
-359 -477 -296 0
-526 -37 291 0
-278 -94 323 0
506 -4 473 0
566 -398 456 0
-456 600 -291 0
-18 -483 475 0
-185 3 -416 0
-418 127 342 0
515 403 -10 0
-386 465 80 0
451 46 -455 0
-251 -317 -396 0
-533 -100 92 0
493 339 -395 0
199 366 35 0
407 -518 -496 0
172 -563 -387 0
426 -260 30 0
-73 291 -512 0
567 -510 -560 0
29 -599 88 0
-437 426 335 0
400 -511 -596 0
-346 563 529 0
-367 -500 -435 0
-139 -110 -392 0
139 -155 52 0
-247 -145 -90 0
347 194 -242 0
227 -123 -394 0
86 -41 -390 0
-531 -514 8 0
599 -390 10 0
-455 209 67 0
-504 492 -499 0
500 504 -25 0
443 -162 -516 0
-112 1 -19 0
-271 464 -214 0
-533 -500 -165 0
483 102 -471 0
-220 -593 -207 0
-144 10 -173 0
462 -364 178 0
-432 -129 18 0
211 -461 -545 0
-76 521 591 0
-560 183 -21 0
-149 -297 215 0
457 -203 -582 0
186 -115 94 0
491 -127 -59 0
-137 -282 -254 0
599 302 430 0
-171 -48 119 0
75 -389 377 0
183 -460 167 0
-100 339 -24 0
-215 584 -502 0
513 -186 365 0
-3 450 429 0
29 -419 156 0
-131 -26 284 0
428 234 94 0
-147 355 240 0
-518 -517 469 0
395 -342 -447 0
195 -162 -122 0
-199 34 544 0
378 394 51 0
-467 -411 155 0
293 -441 298 0
-123 444 43 0
67 141 -75 0
138 322 -408 0
-61 -397 -91 0
-80 409 -395 0
148 -281 227 0
485 315 -426 0
-21 346 392 0
571 530 -93 0
236 284 190 0
110 -525 327 0
-71 80 554 0
184 -597 570 0
146 458 -377 0
263 -310 451 0
-510 -310 185 0
437 -272 -355 0
594 -190 -240 0
-405 -344 -56 0
415 591 542 0
-207 -79 312 0
375 170 -6 0
252 94 240 0
-221 154 -532 0
-127 297 -566 0
-286 -50 -249 0
499 -159 -430 0
-120 -377 -5 0
-514 301 394 0
529 225 -570 0
154 504 -326 0
1 -580 328 0
-500 -313 -440 0
-587 167 -571 0
485 -36 -102 0
-144 -476 121 0
-118 -138 119 0
460 108 -299 0
-111 281 -482 0
-278 -289 448 0
118 -290 -249 0
596 126 564 0
-297 -323 155 0
218 418 -135 0
226 -525 298 0
248 118 319 0
477 -208 -349 0
563 -499 310 0
181 -187 170 0
-514 327 -300 0
-177 356 -106 0
428 288 -553 0
-179 279 217 0
-571 133 -445 0
248 370 -184 0
-568 -489 378 0
-322 -497 -52 0
35 -20 -144 0
293 -387 30 0
-490 -42 298 0
-514 190 265 0
-305 -435 292 0
198 -515 185 0
454 433 154 0
488 -585 -69 0
-16 -494 -295 0
390 342 -471 0
-91 -29 263 0
464 -228 508 0
-82 -115 182 0
-327 186 -510 0
185 -526 -483 0
-349 130 185 0
-486 -347 98 0
549 367 596 0
-431 158 -313 0
-557 -58 -436 0
596 597 77 0
389 -589 -585 0
-555 -429 308 0
-320 -449 -382 0
579 -113 210 0
166 -567 417 0
338 -293 467 0
273 385 497 0
337 120 -248 0
330 -277 -449 0
93 -549 20 0
53 571 15 0
192 -232 -453 0
401 285 -76 0
-551 -353 -535 0
-434 -119 311 0
81 -80 11 0
-531 213 201 0
-472 -337 334 0
-177 -23 248 0
-206 503 337 0
-75 193 -238 0
467 -72 -269 0
406 452 -550 0
59 -462 -50 0
316 -545 -1 0
-378 -328 -338 0
465 -22 -560 0
-384 421 -282 0
180 -115 197 0
187 138 -134 0
-72 -443 186 0
-13 -168 78 0
93 497 21 0
-450 599 -99 0
-501 40 246 0
-22 -395 -93 0
273 -338 528 0
-533 -468 -128 0
225 -513 434 0
581 600 398 0
-600 -220 -119 0
-235 100 -542 0
342 189 505 0
-246 -26 187 0
-321 291 -251 0
-38 438 274 0
315 465 443 0
287 -442 492 0
-547 316 -232 0
-475 177 -196 0
496 -335 -198 0
133 600 -358 0
290 450 -593 0
-469 87 -478 0
-344 -111 138 0
-540 92 535 0
-563 76 114 0
56 73 -301 0
401 -487 -270 0
-134 315 -540 0
159 251 -307 0
27 -200 -589 0
-347 -155 436 0
558 -104 133 0
479 408 -433 0
-229 -284 123 0
-306 279 -560 0
16 -592 574 0
47 -11 26 0
-38 371 356 0
494 -565 197 0
250 -427 98 0
-269 321 373 0
355 31 325 0
63 199 121 0
22 276 -70 0
431 326 -59 0
482 -287 550 0
575 254 -59 0
-319 270 506 0
-173 -133 465 0
-374 183 525 0
-396 -376 -446 0
316 -528 375 0
335 571 -80 0
-176 -145 253 0
243 446 71 0
585 575 81 0
217 -130 -221 0
-232 437 151 0
-238 -173 -199 0
588 -301 386 0
32 126 -541 0
-46 -519 -296 0
-106 577 506 0
-307 -142 -597 0
255 416 434 0
307 -380 117 0
208 61 -168 0
-509 552 -52 0
60 -369 544 0
190 204 35 0
183 -23 348 0
-74 260 -266 0
151 42 -286 0
212 542 175 0
296 -52 295 0
-484 -573 -476 0
166 158 220 0
-97 217 -161 0
405 -317 120 0
301 414 -380 0
599 304 -206 0
-86 -116 -102 0
-310 -185 277 0
38 -582 -15 0
238 -338 -133 0
-6 -185 570 0
-366 -205 421 0
-236 -446 -475 0
-352 -372 -178 0
498 -72 351 0
291 504 499 0
580 554 -555 0
5 562 589 0
70 158 -95 0
-185 -452 -548 0
63 -220 -126 0
2 16 -98 0
-129 -6 -18 0
-291 78 -489 0
-552 -34 456 0
-324 -357 -517 0
-133 194 -189 0
-134 -120 -110 0
-289 396 50 0
506 512 514 0
174 -582 -426 0
-596 523 542 0
-335 -12 415 0
509 504 -230 0
35 598 -52 0
487 -368 -188 0
-404 -215 -197 0
-395 228 182 0
33 391 -456 0
-55 -359 -221 0
-529 -58 82 0
-95 -369 -16 0
558 180 -444 0
587 -377 237 0
-410 -574 517 0
-105 -255 96 0
-77 -307 166 0
-468 -294 -442 0
-513 -505 35 0
286 227 -534 0
-113 -65 554 0
-47 -281 212 0
-61 136 137 0
-288 419 22 0
-73 -221 -442 0
491 271 432 0
227 -450 -135 0
371 104 18 0
-158 37 -413 0
106 -337 320 0
-457 563 -222 0
-516 -335 -450 0
192 80 119 0
-575 -493 428 0
-569 47 -472 0
-58 -53 -325 0
-151 184 594 0
-476 -39 374 0
366 351 -287 0
-530 -276 -500 0
-451 331 177 0
-349 197 -253 0
125 -192 452 0
115 -429 295 0
-217 178 300 0
400 43 63 0
-458 419 452 0
108 -387 316 0
138 518 564 0
23 -209 43 0
-157 269 241 0
378 124 -60 0
486 160 567 0
81 96 -503 0
101 -342 -93 0
172 -191 466 0
445 366 16 0
352 -319 -167 0
-314 -340 489 0
-343 -289 -76 0
-564 555 -553 0
-30 -342 -374 0
585 567 82 0
-237 -255 86 0
137 353 -333 0
-46 502 76 0
411 -368 156 0
-473 164 -376 0
-529 -219 -210 0
95 128 514 0
126 -546 189 0
-294 -334 -257 0
-106 362 -92 0
-242 403 539 0
453 364 -243 0
439 -227 516 0
-305 171 332 0
516 -273 -204 0
-113 23 537 0
-412 281 -569 0
-411 -244 -592 0
-209 -360 172 0
-160 388 -526 0
511 -336 -98 0
-23 -260 149 0
-453 -101 366 0
64 -317 580 0
243 396 -99 0
-335 -301 178 0
-477 37 -377 0
222 576 332 0
-198 494 386 0
182 -437 521 0
-472 573 -124 0
-50 -495 -35 0
-267 -69 600 0
-215 -535 -446 0
361 58 -300 0
551 -188 349 0
-481 -407 -486 0
-131 319 81 0
217 239 69 0
-269 -426 151 0
-256 377 390 0
304 563 -181 0
-307 -212 -108 0
196 -109 -77 0
-561 36 92 0
61 -401 -138 0
479 -301 -523 0
-552 24 -159 0
419 -180 368 0
333 -597 20 0
-464 568 -453 0
-417 64 -190 0
115 285 -535 0
66 -225 267 0
-459 -374 576 0
-276 -442 494 0
-449 490 21 0
546 -571 -554 0
-150 -7 65 0
-48 370 60 0
495 -214 337 0
-77 96 -253 0
575 511 322 0
-220 -90 -21 0
-321 -489 -415 0
91 210 233 0
163 -152 -472 0
-58 -200 -366 0
539 -475 -254 0
-538 401 489 0
-494 206 -8 0
-474 321 -401 0
-231 -117 -355 0
140 -431 -203 0
-109 -35 84 0
-437 412 -489 0
89 448 -48 0
598 -160 -439 0
-273 258 483 0
382 -42 -183 0
-597 165 211 0
157 -128 560 0
316 542 349 0
-297 -428 -101 0
438 -420 377 0
-298 146 476 0
571 -380 259 0
102 252 135 0
317 544 -126 0
-23 -448 -83 0
595 -525 120 0
571 -369 -281 0
464 -457 378 0
76 294 -503 0
-430 -206 521 0
-187 202 119 0
111 59 574 0
-465 -545 223 0
-211 472 -51 0
214 -291 -299 0
198 262 -201 0
-437 501 4 0
-309 113 -419 0
-145 493 451 0
459 97 556 0
64 553 344 0
-76 -576 -122 0
236 285 -517 0
566 -434 -301 0
585 -141 -156 0
525 258 114 0
493 -588 -456 0
-200 354 -167 0
-480 225 491 0
434 -106 527 0
333 561 267 0
-333 334 562 0
-368 -184 -254 0
591 -407 -152 0
-314 369 -595 0
174 -395 33 0
1 87 90 0
232 58 -337 0
257 -87 -341 0
382 271 -191 0
-553 317 -137 0
-120 -330 -415 0
-192 467 -456 0
-64 101 450 0
225 101 317 0
-166 -98 -437 0
282 -405 -532 0
507 156 221 0
54 -434 -115 0
-42 -201 -96 0
-519 59 246 0
-254 -148 577 0
-505 -406 -300 0
-168 -123 -334 0
-115 321 -382 0
-297 -4 281 0
182 -132 -554 0
-413 565 97 0
221 82 8 0
-502 381 -313 0
182 -196 -340 0
-591 -331 376 0
-299 -141 -382 0
336 -150 -38 0
-101 240 -418 0
-420 -146 586 0
-171 490 399 0
-156 -258 175 0
111 -448 -569 0
87 100 -475 0
-189 585 -245 0
73 -430 -179 0
-112 338 73 0
-471 525 -72 0
-202 109 382 0
479 -46 372 0
-451 -473 -314 0
533 -373 245 0
42 493 -229 0
587 439 -34 0
-337 -259 371 0
-108 234 300 0
550 100 5 0
357 -191 -181 0
-126 147 -196 0
-84 318 -504 0
-145 372 468 0
574 370 586 0
525 -61 498 0
-421 145 -329 0
422 216 -564 0
-55 181 67 0
253 332 204 0
540 572 -96 0
-263 -37 -303 0
503 138 176 0
456 -582 476 0
-35 274 -495 0
526 390 488 0
-96 -169 -509 0
246 591 10 0
125 31 342 0
-456 -391 -237 0
386 461 120 0
-287 -518 330 0
49 -216 95 0
-182 155 -183 0
422 484 -7 0
-330 238 284 0
-465 -400 -70 0
580 33 518 0
133 -554 -94 0
-182 354 11 0
357 255 263 0
243 -19 -242 0
26 -53 333 0
393 523 -389 0
488 -545 260 0
-192 -245 -220 0
-165 -162 -168 0
-365 -358 -466 0
-79 480 37 0
-81 -90 234 0
-565 147 312 0
19 -527 -470 0
106 518 -363 0
-231 -389 -361 0
475 -94 140 0
-579 115 -14 0
41 -231 -492 0
482 165 -19 0
-425 536 -138 0
38 520 501 0
-389 327 541 0
402 -223 295 0
-30 -296 559 0
24 -8 -455 0
485 6 118 0
-274 -159 485 0
-224 435 110 0
173 123 491 0
-89 -74 -35 0
118 434 255 0
-320 85 -315 0
171 548 378 0
120 267 302 0
440 -18 57 0
80 -86 -310 0
-520 575 261 0
-405 -230 -327 0
-575 227 -539 0
-112 -290 -182 0
43 273 -514 0
220 534 -387 0
-557 -463 -243 0
184 556 513 0
326 -262 468 0
-447 253 27 0
189 -41 241 0
-222 -450 166 0
531 -202 501 0
119 224 444 0
-194 -161 -304 0
31 -594 -358 0
384 -289 48 0
-19 385 315 0
200 -377 -203 0
-501 -513 365 0
21 -34 177 0
104 -509 -245 0
256 151 55 0
-524 338 -318 0
443 -289 85 0
-591 -108 474 0
-254 -498 75 0
352 242 -93 0
-436 549 -298 0
-532 -307 -482 0
-406 293 432 0
532 -394 399 0
-397 -257 -437 0
-234 -584 -217 0
-527 -484 143 0
-380 374 -337 0
-219 -45 -297 0
318 392 -534 0
-315 -36 -434 0
-599 -3 398 0
-421 343 -327 0
10 251 470 0
-221 -6 -510 0
-113 -278 -287 0
-126 -419 -327 0
312 -309 573 0
-432 82 -62 0
-198 -165 -414 0
355 453 523 0
-22 -422 -591 0
473 238 -143 0
-228 -466 -597 0
3 -66 -592 0
-324 574 -435 0
-521 -33 -182 0
-562 -126 -205 0
413 -57 409 0
-49 472 -569 0
-163 200 299 0
46 -193 570 0
-166 -165 -250 0
496 -294 -134 0
-207 136 -396 0
-561 -59 120 0
-357 591 477 0
-568 -275 210 0
-521 329 -172 0
-474 111 504 0
-358 242 26 0
130 321 -320 0
-373 -197 -575 0
180 -28 510 0
436 350 213 0
-22 362 -554 0
-439 422 36 0
-389 -320 401 0
93 -579 284 0
-390 32 555 0
73 -592 -64 0
-343 -29 -354 0
466 596 6 0
-273 -135 -460 0
-117 -567 30 0
-536 94 -47 0
132 -503 196 0
23 -113 561 0
417 334 586 0
67 -402 -477 0
-511 569 230 0
26 -594 -43 0
327 -535 292 0
117 -275 -533 0
378 507 -263 0
262 -317 63 0
423 118 -324 0
-318 -156 583 0
-540 554 -271 0
-59 -88 -481 0
512 -457 -133 0
-45 -356 -330 0
-319 -431 379 0
415 512 63 0
176 -398 -517 0
183 -330 -56 0
473 -579 -123 0
248 -515 -355 0
217 341 243 0
64 420 230 0
527 -27 593 0
97 25 -395 0
41 -364 13 0
-23 -184 -237 0
60 -212 249 0
96 387 -485 0
-9 -590 -248 0
113 -130 519 0
180 -49 34 0
-398 -409 -560 0
-20 -354 -253 0
-249 -555 493 0
-42 469 48 0
-139 558 -522 0
-168 560 -206 0
75 485 -317 0
-586 -296 -430 0
-448 -178 -413 0
471 115 439 0
52 -162 -27 0
391 -271 303 0
91 -196 238 0
-431 385 -363 0
421 165 367 0
505 509 -131 0
257 -260 -352 0
-586 -543 198 0
206 -326 -515 0
117 407 465 0
447 -151 137 0
-532 -393 -88 0
-354 -327 -216 0
74 -249 219 0
62 549 -593 0
-566 558 485 0
-538 -229 570 0
-493 -360 -185 0
73 -228 -426 0
527 578 81 0
-256 -126 250 0
357 563 592 0
87 542 -241 0
377 227 -416 0
-465 436 -335 0
-226 84 -390 0
243 -34 -434 0
-560 174 48 0
-410 -390 -321 0
394 179 472 0
9 501 -78 0
-468 -213 273 0
-65 -417 215 0
-526 -51 -11 0
-128 -70 151 0
23 -197 -140 0
201 122 -529 0
-42 -159 -224 0
-518 -195 271 0
-575 589 510 0
364 -480 -558 0
-9 87 181 0
-507 -296 -248 0
25 -197 -258 0
-564 -196 537 0
33 63 288 0
263 577 280 0
548 -537 507 0
512 585 -309 0
-72 479 6 0
477 -436 -347 0
-150 221 -165 0
325 195 442 0
-167 126 -577 0
564 -40 142 0
-492 409 310 0
55 225 199 0
-455 228 52 0
-276 -26 -14 0
-76 -118 429 0
445 597 70 0
-306 523 550 0
-317 258 -90 0
81 -54 511 0
124 -229 -393 0
408 -443 -350 0
-528 -482 -135 0
-73 -115 -231 0
306 -126 -221 0
562 -129 -118 0
-321 311 572 0
-25 -222 29 0
-33 480 137 0
-324 216 -447 0
400 -251 273 0
514 -423 251 0
197 -313 5 0
-248 438 220 0
218 -105 -203 0
21 7 347 0
-91 -133 -18 0
-121 424 561 0
-91 -497 263 0
368 -32 504 0
-194 -511 -81 0
69 -517 -196 0
-587 -284 65 0
521 -428 -478 0
423 268 -275 0
395 -24 -202 0
372 -30 -490 0
-302 437 254 0
-23 388 -298 0
-544 397 154 0
-429 449 283 0
-83 -276 195 0
467 125 166 0
176 60 -535 0
476 -381 -124 0
-168 -573 580 0
-216 112 -104 0
404 -100 53 0
370 -550 -495 0
462 268 289 0
526 197 -244 0
227 -158 -298 0
165 -198 219 0
-120 36 -389 0
209 -588 -490 0
275 -53 547 0
-31 460 -279 0
511 -51 -372 0
-546 -159 -240 0
-599 150 -576 0
21 211 -476 0
-387 392 163 0
253 433 389 0
564 472 -547 0
-223 118 269 0
-131 77 508 0
-493 -503 -559 0
584 470 92 0
-335 -371 -306 0
291 554 191 0
379 461 -489 0
318 332 -123 0
-468 -87 -577 0
-215 -583 -234 0
403 371 288 0
231 374 335 0
-37 -587 463 0
324 -551 125 0
392 52 128 0
-185 -170 -322 0
-294 -577 79 0
323 498 137 0
225 -49 170 0
48 29 231 0
-201 -215 10 0
-30 -535 -436 0
-460 -179 -61 0
-44 -438 -192 0
577 473 -119 0
289 -345 -386 0
337 128 -378 0
318 -486 491 0
407 -347 -247 0
-434 333 80 0
486 266 -392 0
-418 427 8 0
477 -551 482 0
220 -396 276 0
-496 -78 117 0
419 -70 -570 0
196 94 336 0
164 354 -203 0
-164 187 205 0
159 314 244 0
72 595 346 0
539 -328 -372 0
-395 -599 -84 0
303 -366 -256 0
265 94 -350 0
-87 155 -502 0
-383 156 -86 0
-7 -589 -59 0
515 -213 477 0
64 -146 143 0
200 -566 461 0
422 236 -186 0
409 -586 -253 0
-282 -561 274 0
-239 317 -468 0
-264 265 496 0
-389 507 199 0
-204 172 22 0
413 -21 339 0
-581 547 136 0
-518 350 -472 0
594 -77 -436 0
-239 -534 569 0
-118 -50 -547 0
-531 -53 -488 0
-91 33 434 0
50 571 151 0
-505 143 -235 0
-264 -535 560 0
54 -273 64 0
-157 214 129 0
449 -564 230 0
246 523 -206 0
280 159 419 0
451 88 -453 0
98 495 389 0
-465 -361 68 0
524 531 -576 0
159 -200 -216 0
556 317 14 0
-429 582 -305 0
-190 -194 89 0
84 -478 -293 0
-233 147 -458 0
156 39 269 0
-395 -421 385 0
-128 81 -556 0
-472 14 418 0
-192 -545 -600 0
-573 261 64 0
-160 -326 -553 0
-414 296 -106 0
-380 221 -418 0
-131 -160 345 0
-91 502 -241 0
-412 578 596 0
41 -171 487 0
-410 -53 -226 0
-536 374 -456 0
596 37 190 0
-456 254 -544 0
-329 -378 555 0
518 162 -160 0
-314 373 509 0
-574 333 212 0
160 480 -118 0
-133 365 -280 0
-200 229 -576 0
26 -392 600 0
-405 -429 443 0
-134 98 317 0
42 248 -560 0
-422 559 48 0
86 -274 -587 0
-150 -69 -563 0
-329 -236 -470 0
492 -327 443 0
429 122 -412 0
-595 -195 -246 0
-380 -190 -408 0
-105 -473 80 0
254 -115 68 0
426 -17 -277 0
34 484 185 0
-551 -338 -574 0
-309 -87 286 0
-123 181 -239 0
144 25 -211 0
280 -514 460 0
510 -251 -243 0
517 -340 -475 0
-496 -535 -120 0
-556 304 481 0
244 373 70 0
-60 -143 -356 0
496 310 -163 0
-353 -361 35 0
-262 562 -113 0
568 -430 5 0
-61 -26 -65 0
-369 -89 -16 0
-500 578 386 0
-349 326 319 0
-397 2 388 0
450 37 -590 0
-594 -45 -274 0
178 45 -386 0
-54 -597 391 0
540 39 -33 0
-576 466 -504 0
475 82 -451 0
10 -168 304 0
-378 -62 19 0
-481 478 -58 0
272 93 -376 0
179 -278 72 0
164 -63 156 0
-482 32 4 0
-153 7 -236 0
69 -85 -358 0
594 526 -364 0
-411 113 270 0
485 -533 -541 0
-90 161 -401 0
-447 87 376 0
368 -344 546 0
397 -174 400 0
97 301 586 0
386 454 325 0
102 -201 -338 0
568 -597 -130 0
-136 -98 40 0
-361 -171 203 0
-287 59 -439 0
435 148 145 0
-221 555 199 0
560 386 481 0
-375 -332 -31 0
534 -120 472 0
-374 556 -554 0
-449 -489 -86 0
138 424 -23 0
-239 -496 -560 0
370 -145 -193 0
36 167 406 0
-524 142 -222 0
-571 -30 -12 0
-471 291 -99 0
345 -469 199 0
319 364 502 0
413 -275 -89 0
33 304 -133 0
-162 -204 525 0
380 552 -449 0
181 281 -14 0
125 -470 -245 0
310 -455 -597 0
388 -68 499 0
-179 -586 506 0
36 348 -126 0
38 -541 -459 0
-338 564 -24 0
197 -283 346 0
402 554 -275 0
-11 74 -78 0
218 -261 -356 0
-290 -230 547 0
-582 -167 278 0
475 408 161 0
343 88 -177 0
502 -60 -306 0
-189 -439 239 0
-277 -328 -162 0
-506 209 -51 0
-290 450 152 0
-525 91 -427 0
579 -522 -549 0
-459 280 20 0
547 90 531 0
-230 199 -462 0
-344 109 186 0
-339 -489 -34 0
148 -578 -408 0
315 488 -233 0
-597 -192 -214 0
46 -326 -203 0
-153 199 104 0
403 -421 -84 0
437 337 166 0
-105 -587 -495 0
-320 346 -422 0
-6 565 -49 0
-189 -443 -448 0
-220 -457 -395 0
270 561 570 0
-430 -281 -588 0
-246 445 -54 0
174 201 -197 0
238 349 -448 0
-391 223 -175 0
329 -162 563 0
538 -186 -566 0
53 89 498 0
-107 242 -61 0
278 467 244 0
349 -553 436 0
417 32 -358 0
279 410 -167 0
-335 -147 -139 0
-294 -152 -357 0
395 -243 -27 0
113 -392 481 0
187 -437 80 0
-102 -70 -359 0
364 -512 209 0
472 501 -440 0
-517 -303 -259 0
582 62 56 0
-534 491 573 0
-212 -269 37 0
88 -384 31 0
-68 -374 -376 0
122 -315 282 0
464 60 -469 0
-249 446 -478 0
378 -235 61 0
567 574 430 0
-421 226 87 0
84 -36 -33 0
177 102 -244 0
-423 -93 125 0
22 502 166 0
584 -135 317 0
-585 -50 -400 0
-437 179 -462 0
-539 -479 -493 0
520 -52 -180 0
-402 -393 -5 0
479 -26 -307 0
81 -270 358 0
247 -517 600 0
253 131 563 0
-568 -226 169 0
503 358 186 0
-321 -249 495 0
232 256 558 0
-46 -90 33 0
19 -600 -166 0
-534 -559 195 0
249 -109 210 0
485 -347 596 0
481 67 276 0
-532 -478 104 0
-598 -203 -545 0
322 -262 -569 0
-335 495 -104 0
401 343 227 0
-337 570 497 0
-347 42 504 0
33 24 -177 0
-42 -100 62 0
191 -281 -498 0
17 186 -195 0
-402 -81 106 0
-524 -358 258 0
-315 -249 420 0
472 -136 -179 0
589 -320 -190 0
-266 -237 516 0
314 -486 -299 0
-31 -310 -39 0
-20 394 -21 0
-423 472 213 0
547 -117 238 0
3 -157 -168 0
551 158 -543 0
311 363 -366 0
145 -40 -370 0
-432 -139 -463 0
-421 599 -576 0
186 404 -360 0
156 381 -148 0
147 -44 -557 0
-104 -374 -101 0
449 -411 -115 0
115 327 39 0
295 148 -248 0
-599 86 555 0
-212 296 -176 0
-66 257 309 0
252 -458 -203 0
-563 245 65 0
-19 449 -410 0
579 -567 424 0
152 -448 -90 0
13 217 479 0
412 1 505 0
-96 -540 -532 0
45 -570 -7 0
-296 176 581 0
-239 -236 -87 0
403 590 -175 0
-319 137 224 0
-595 -96 563 0
186 -488 -270 0
307 -288 -140 0
261 -156 275 0
547 -305 312 0
-522 -28 -146 0
-98 412 596 0
441 410 -402 0
191 -198 239 0
465 310 -113 0
12 -336 276 0
14 388 -92 0
501 597 507 0
-364 -562 -185 0
151 17 588 0
331 536 456 0
-409 428 404 0
329 -183 -369 0
573 234 -338 0
-276 509 403 0
-191 16 -44 0
170 558 -290 0
4 22 -589 0
206 585 -317 0
201 -373 177 0
273 -219 -107 0
579 -462 -473 0
-413 465 525 0
-549 176 -154 0
593 -43 387 0
444 -196 125 0
284 463 197 0
-464 -545 395 0
-330 -402 -588 0
563 61 -22 0
1 19 430 0
-454 248 -246 0
-336 -547 -173 0
212 533 218 0
-97 -80 373 0
369 -10 141 0
-555 352 329 0
482 425 89 0
-504 -209 196 0
-276 -190 250 0
-95 486 311 0
24 220 418 0
488 361 -279 0
346 181 -259 0
184 -300 173 0
-166 313 -411 0
-80 -125 299 0
297 281 521 0
472 107 -556 0
298 -529 -362 0
-375 -334 -108 0
149 -108 -212 0
-522 -451 -369 0
-397 405 -167 0
-34 297 -188 0
-575 -547 19 0
-253 -325 -35 0
360 -383 -222 0
-111 477 424 0
-120 90 -477 0
-29 -182 9 0
224 -509 -564 0
-557 373 394 0
-573 484 86 0
451 422 600 0
-458 385 -548 0
399 105 -214 0
263 23 -37 0
-374 441 444 0
-312 388 -238 0
-36 -467 577 0
105 -163 -339 0
452 157 -265 0
540 -246 -28 0
456 198 -539 0
123 461 483 0
422 24 -89 0
150 -90 76 0
596 470 -471 0
-262 -382 -95 0
-350 314 347 0
-73 259 -209 0
-61 142 -402 0
282 361 -264 0
116 168 279 0
-512 272 -161 0
515 -425 -116 0
45 -376 -41 0
-141 -361 -7 0
-72 -535 -195 0
122 -506 -493 0
244 -104 -457 0
-387 350 -234 0
-572 -320 99 0
-12 -204 -207 0
-178 356 384 0
-484 -454 47 0
159 -157 -567 0
531 -499 -412 0
99 -374 -549 0
415 -549 -531 0
-486 582 326 0
-117 -155 -241 0
-94 -235 169 0
-504 -596 105 0
-579 -471 -578 0
-276 -454 333 0
-512 248 502 0
-227 422 423 0
530 223 -364 0
-530 353 35 0
66 -162 -115 0
-367 -314 429 0
-370 99 -391 0
470 523 -472 0
-452 50 -543 0
-121 451 -532 0
-322 -65 -69 0
261 460 -193 0
44 359 -541 0
-318 64 -390 0
-195 6 574 0
210 -489 -449 0
-484 -136 -504 0
-369 27 271 0
-469 554 320 0
72 102 -582 0
-170 -455 283 0
-570 -379 -583 0
-159 102 368 0
-402 -554 -308 0
175 -90 194 0
-389 -25 -551 0
415 -177 123 0
473 176 209 0
93 -553 -254 0
-70 56 -127 0
223 -532 -57 0
143 -555 148 0
-75 -247 -53 0
252 8 -488 0
536 -501 74 0
486 -425 -325 0
-184 136 -294 0
263 171 278 0
585 204 -586 0
-282 -108 -34 0
203 -148 -166 0
-126 294 -256 0
498 -40 -370 0
-239 167 331 0
-327 -258 -194 0
448 -38 95 0
265 -248 474 0
-298 236 466 0
353 121 -93 0
-373 -394 477 0
-451 -472 481 0
159 503 382 0
-163 -511 -540 0
-439 432 -231 0
570 44 297 0
122 153 331 0
-420 -26 267 0
361 487 251 0
-572 -449 402 0
-55 -54 174 0
-93 -324 389 0
399 558 333 0
-95 497 423 0
-546 416 101 0
-289 -388 -509 0
405 -479 589 0
56 -486 -433 0
-138 -51 -128 0
-580 -402 16 0
93 122 -10 0
207 336 -41 0
-110 92 -531 0
-167 38 -571 0
-116 548 306 0
-337 222 513 0
-583 515 -259 0
-146 244 303 0
490 -182 454 0
215 -243 128 0
223 -509 -366 0
346 -279 32 0
279 -72 52 0
383 290 446 0
-327 -146 382 0
245 -300 587 0
-280 -254 39 0
262 -279 -506 0
-65 88 90 0
350 -354 -326 0
-124 -186 -422 0
260 -197 221 0
221 267 -231 0
371 -193 52 0
-20 -122 -534 0
-196 482 449 0
448 272 200 0
-514 347 -555 0
-223 -85 -92 0
173 -566 -89 0
-567 -261 62 0
326 257 -157 0
399 -162 -247 0
-166 257 -337 0
-37 35 597 0
-598 345 -459 0
206 -553 435 0
52 260 476 0
-147 198 233 0
-87 -327 -257 0
-139 326 -546 0
423 582 -144 0
260 -406 318 0
147 355 -422 0
-416 246 47 0
453 -589 89 0
-531 -359 155 0
-361 -30 -460 0
-189 504 133 0
517 -9 -150 0
178 131 -341 0
-289 538 160 0
-200 274 -15 0
-227 69 -192 0
583 -353 547 0
-154 251 74 0
399 -285 -168 0
524 -568 -122 0
-477 136 19 0
-346 228 -237 0
324 275 -466 0
-422 -211 -8 0
-387 351 188 0
-389 -596 225 0
138 -343 49 0
158 286 -451 0
-32 43 485 0
-428 94 -435 0
-72 539 504 0
-470 -93 -432 0
65 368 -71 0
355 93 395 0
-285 90 -533 0
-478 -514 -531 0
485 283 -171 0
-32 207 300 0
-318 -150 -296 0
399 -235 317 0
163 152 -83 0
85 -503 -515 0
18 220 -363 0
-186 309 91 0
339 -385 236 0
225 579 76 0
-377 -91 283 0
-279 -30 -157 0
-31 -408 296 0
-331 510 523 0
-468 -144 281 0
-594 164 -243 0
233 81 -427 0
-206 -169 344 0
-323 356 321 0
-587 -341 -468 0
-468 552 459 0
379 494 280 0
-180 109 -240 0
-363 171 -273 0
-500 316 554 0
375 -441 -559 0
-512 150 571 0
145 -356 -520 0
-34 216 51 0
114 371 -412 0
68 -519 441 0
529 -71 275 0
159 -38 51 0
303 344 -74 0
-265 292 -185 0
-368 -526 313 0
393 -87 -209 0
-484 -578 -372 0
-402 533 -324 0
565 303 -45 0
-354 -379 61 0
238 -472 342 0
-496 93 352 0
22 -200 399 0
420 508 -459 0
460 317 164 0
-387 -398 -297 0
245 -301 -144 0
-418 431 87 0
44 75 576 0
175 260 -311 0
-122 38 373 0
-31 -546 -575 0
45 327 75 0
-218 30 -293 0
-13 -422 -241 0
373 587 -508 0
536 345 317 0
-351 -197 510 0
-544 -386 -133 0
139 566 204 0
556 503 -272 0
-377 435 332 0
-546 -243 -540 0
220 -141 312 0
83 -485 -201 0
244 198 220 0
581 124 77 0
587 579 -264 0
451 285 -416 0
-456 -164 -300 0
171 419 536 0
260 -379 -401 0
-438 -203 189 0
-273 -381 11 0
-178 262 549 0
-183 572 -475 0
338 324 -281 0
-88 87 -22 0
392 -185 -587 0
-153 171 201 0
-486 -476 -454 0
-498 493 -122 0
-449 316 -493 0
2 -435 572 0
365 -471 -552 0
437 -316 -243 0
194 531 -450 0
-139 -231 -358 0
540 -18 -63 0
-563 532 102 0
-527 420 136 0
592 112 -174 0
-13 -157 -390 0
-488 -369 -373 0
-507 -128 -574 0
301 -523 41 0
-74 168 175 0
-242 -99 119 0
11 -415 -296 0
-466 337 168 0
-279 281 447 0
-282 292 -285 0
-235 425 -433 0
459 466 -489 0
-169 -369 319 0
541 -27 3 0
-394 -546 -464 0
-557 -500 -164 0
-595 445 -95 0
268 -349 552 0
285 -526 185 0
-45 167 297 0
566 -487 -357 0
504 488 -228 0
79 167 15 0
-388 17 345 0
312 461 596 0
-351 334 -172 0
-259 -249 -486 0
419 521 -18 0
132 -122 -556 0
-47 198 -404 0
180 583 106 0
-506 -339 -431 0
-223 -216 -422 0
-507 181 -285 0
-292 348 226 0
-434 403 -126 0
386 357 86 0
81 -36 -560 0
-451 247 167 0
-261 -39 -436 0
-150 -532 321 0
-324 543 468 0
419 -571 -55 0
256 -282 -539 0
-293 -459 -91 0
356 52 -213 0
-272 -282 -340 0
453 -552 329 0
349 223 -390 0
-258 -339 -400 0
-31 121 -51 0
163 -268 596 0
278 366 521 0
-355 318 -289 0
-214 17 -532 0
-363 512 575 0
-340 -201 -267 0
-589 -442 -402 0
-386 355 417 0
376 -97 -245 0
-393 507 -375 0
-596 -396 26 0
124 -474 -86 0
235 -544 330 0
-294 132 295 0
-190 -261 270 0
107 -458 -367 0
153 -275 -455 0
214 582 -449 0
-409 -599 391 0
507 237 291 0
207 546 515 0
-228 33 511 0
-385 -462 512 0
-40 -413 510 0
-376 371 -277 0
25 54 -385 0
549 563 -33 0
554 -101 -588 0
78 -523 259 0
361 153 510 0
-464 57 264 0
-544 308 -156 0
443 249 -144 0
-523 -546 -21 0
247 388 -466 0
545 55 24 0
345 -2 -432 0
7 410 33 0
484 -324 92 0
-430 -254 16 0
-507 32 232 0
537 -492 -545 0
110 -4 440 0
-35 420 -367 0
-450 494 346 0
400 17 577 0
-4 -65 -440 0
-335 111 544 0
-471 -224 448 0
-97 213 325 0
387 74 -30 0
-408 322 -545 0
459 -193 223 0
-560 365 -381 0
-514 -580 156 0
-416 539 166 0
45 -221 -469 0
592 195 401 0
110 -576 -575 0
503 164 -397 0
172 -476 -367 0
-526 -148 -528 0
-180 349 154 0
238 -590 -349 0
-192 -409 -224 0
-174 224 -383 0
-5 -182 508 0
356 338 67 0
175 461 7 0
-358 -441 297 0
-412 -185 86 0
155 -455 559 0
-29 589 -390 0
357 -177 -83 0
-355 111 520 0
233 408 -239 0
-5 -184 2 0
2 -227 137 0
501 -397 315 0
167 242 4 0
439 -423 -187 0
171 428 595 0
-344 -583 253 0
-171 282 538 0
457 172 -292 0
-565 421 541 0
234 519 422 0
-161 -92 -293 0
359 518 -158 0
530 -134 340 0
-459 -20 232 0
442 572 -538 0
-228 444 436 0
-108 393 328 0
94 486 406 0
109 -358 -204 0
233 379 210 0
-183 433 -150 0
-210 -339 -190 0
-535 -76 -150 0
532 -412 238 0
273 570 247 0
-432 -467 -392 0
-238 577 -19 0
157 -398 327 0
-579 54 534 0
125 321 -414 0
-400 -481 477 0
558 450 301 0
577 227 -38 0
-141 515 19 0
-129 -153 71 0
-332 49 506 0
274 51 353 0
-317 -52 330 0
-462 448 -516 0
227 520 -130 0
233 543 375 0
399 494 -238 0
331 -340 -378 0
249 339 157 0
-258 -143 448 0
-401 -171 -243 0
60 484 -490 0
31 -115 -541 0
-170 322 265 0
59 400 507 0
31 -96 -243 0
256 -597 -585 0
268 115 -203 0
-332 -23 219 0
-522 68 -585 0
123 482 104 0
-31 576 -11 0
21 -468 447 0
85 -532 75 0
576 -121 -33 0
72 463 -329 0
-504 -404 -232 0
86 -273 244 0
-129 204 -276 0
-94 -349 512 0
-139 -495 186 0
85 -431 6 0
153 232 174 0
-94 246 -87 0
-592 -547 -240 0
63 -368 -20 0
-2 350 231 0
309 510 149 0
591 243 561 0
489 -418 451 0
544 599 455 0
312 -112 253 0
-408 139 375 0
490 -383 149 0
148 -548 -213 0
233 579 -328 0
490 -120 203 0
-39 -497 -50 0
-172 195 75 0
67 312 538 0
578 -522 483 0
-577 87 585 0
-266 -172 36 0
431 -369 5 0
3 467 -328 0
-152 -384 203 0
186 -339 -600 0
-465 -107 521 0
-158 333 319 0
-350 587 137 0
39 -401 375 0
-423 -316 141 0
-322 535 -150 0
189 405 579 0
491 -510 -405 0
528 -2 -523 0
-29 -493 -599 0
-31 -271 54 0
-171 328 73 0
459 -207 255 0
496 440 -320 0
345 -342 397 0
128 139 251 0
390 -528 278 0
-170 -587 25 0
-67 190 -268 0
402 187 -562 0
-362 -498 -565 0
452 -304 120 0
-356 -183 -6 0
-239 274 432 0
-374 -300 -507 0
514 524 369 0
415 278 -88 0
262 265 85 0
-326 391 364 0
-232 423 269 0
442 474 8 0
128 -453 409 0
-383 -452 78 0
-595 -275 390 0
367 -389 301 0
-338 -215 114 0
-395 -355 -271 0
-321 179 -496 0
-131 -383 -591 0
-90 256 62 0
-397 244 527 0
-564 332 557 0
258 405 -355 0
355 47 66 0
70 211 72 0
456 38 -450 0
-504 -380 -17 0
-230 -365 -349 0
-591 554 -65 0
283 -519 500 0
199 561 -95 0
-163 107 -478 0
250 294 -285 0
-346 347 -131 0
234 530 -437 0
-183 421 109 0